You may well know that important conjecture that P! = NP, but of equal theoretical importance is P! = PSPACE, but it hardly gets any of the publicity of its near relation. We seemed to have moved a little closer to proving it.

Like it or not, AI is having a revolutionary impact on web development. Maybe we haven't all succumbed to vibe programming, but almost all of us are using AI tools in our everyday routine and the results of the recent survey from Devographics reveals.

Microsoft has announced Edit, a new open source command-line text editor in Windows. The editor will be available in preview in the Windows Insider Program "in the coming months" before shipping as part of Windows 11. 

Model Context Protocol is now taking control over Windbg and Ghidra to automate the tedious tasks that reverse engineers have to go through in their day-to-day work.

Apache Ozone 2 has been released with support for HSync and lease recovery, and symmetric keys for delegation tokens among the improvements. 

JetBrains has shown off a pre-alpha version of its forthcoming official Kotlin support for Visual Studio Code and an implementation of Language Server Protocol for the Kotlin language. The announcements were made at JetBrains' KotlinConf, along with news of what's coming in Kotlin 2.2. 

Sun Microsystems announced Java at the SunWorld '95 convention on May 23rd, 1995. At the time, Java was described as a programming language that, combined with the HotJava World Wide Web browser, offered the best universal operating system to the online community.

Every day I Programmer has new material written by programmers, for programmers. This digest gives a summary of the latest content, which this week includes an extract from Deep C Dives and, from our History section the story of Konrad Zuse and the First Working Computers. 

NVIDIA has announced a number of updates for humanoid robotics, including a way of generating synthetic motion data to teach robots new behaviors, and a foundation model for humanoid reasoning. 

We continue the lowdown on Java conferences. Having looked initally at sessions from three Voxxed events, last week we explored two Devoxx events and JavaOne. This week it's the turn of JChampions and JDConf.

At Google I/O, Sundar Pichai, Demis Hassabis and others took to the stage to outline a long lineup of AI-powered products and services including Gemini 2.5,  AI Mode in Search, which is already being rolled out in the United States and Projects Astra and Mariner.

.NET Aspire 9.3 has been released with improvements including the addition of GitHub Copilot to the .NET Aspire dashboard, along with a new context menu in the Resource Graph view; and new lifecycle events. 

Plainsight has launched OpenFilter, an open source project for developing, deploying, and scaling production-grade computer vision applications. The launch took place at the Embedded Vision Summit, the conference for innovators incorporating computer vision and AI in products, taking place in Santa Clara, California.

After 5 years of banishment, Fortnite is back in the US App Store.  Has Apple turned over a new leaf and is now playing nice? Probably not.

Use this Neo4J GraphRAG library to build your own knowledge graph-based applications.

Day 1 of Microsoft Build 2025 was, as expected, an AI-focused event with Satya Nadella devoting much of the keynote to artificial intelligence agents giving us a picture of a future in  which these agents perform tasks and make decisions on behalf of users and organization.